data Const c a = Const c